Interactive Systems Design, Specification, And Verification | 2007 |

Gavin Doherty (u. A.) | Interactive Systems Design, Specification,

Gavin Doherty; Ann Blandford / Interactive Systems. Design,

Specification And Seamless Verification Ofembedded Real-time Systems

Specification And Verification Of Multi-agent Systems 2832

Communication Protocol Specification And Verification |

Juan C. Torres (u. A.) | Design, Specification And Verification Of...

Architectural Design Conception And Specification Of Interactive

Peter Müller | Modular Specification And Verification Of

Maria Spichkova | Specification And Seamless Verification

Specifications And Verifications Of Transactions In Mobile Environment

Rafat Alshorman (u. A.) | Specifications And Verifications Of

Protocol Specification, Testing And Verification Xiv Samuel T. Chanson

David S. Hardin | Design And Verification Of Microprocessor Systems

Design And Verification Of Microprocessor Systems For High-assurance

Mehdi Dastani (u. A.) | Specification And Verification Of Multi-agent